Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
31	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
32	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
33	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
34	Providing Timing Computations for FUJABA∗ Tobias Eckardt, Christian Heinzemann Software Engineering Group, Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:47 Uppaal Model Checker Transmission Control Protocol Server Internet protocol suite Model checking DBm Client-side Computing Science Model checkers Clock Horology
35	Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Add to Reading List Source URL: www.cprover.org Language: English - Date: 2014-06-22 11:48:59 Model checking Thread Monotonic function Abstraction Mathematical analysis Concurrent computing Computing
36	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
37	JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2015-03-05 22:28:38 Software bug Model checkers Debugging Model checking Software testing Java Pathfinder Exception handling Bug tracking system Crash Computing Software engineering Computer programming
38	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
39	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
40	Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-01-15 15:41:39 Transaction processing SPIN model checker Myrinet Distributed computing Henri Bal Scalability Computing Model checkers Model checking